# Use this script to change all files in current dir.
foreach f ( ` ls *.3T ` )
echo $f
mv $f $f.old
cat $f.old | sed 's/^\.BR//g' | sed 's/^\.SM//g' | sed 's/^\.BI//g' | sed 's/^\.B//g' | sed 's/^\.SS/\.SH/g' | sed 's/^\.IR//g' | sed 's/^\.I//g' | sed 's/\\s0//g' | sed 's/\\s-1//g' | sed 's/\\s-2//g' | sed 's/\\fB//g' | sed 's/\\fR//g' | sed 's/\\(pl/+/g' | sed 's/\\(mi/\-/g' | sed 's/\\(eq/=/g' | sed 's/\\(em//g' | sed 's/\\f2</</g' | sed 's/COOL/cool/g' | sed 's/Error/\\f3Error\\f1/g' | sed 's/\\f2Vtype/Vtype/g' | sed 's/\\f2Ktype/Ktype/g' | sed 's/\\f2Type/Type/g' | sed 's/>\\f3/>/g' | sed 's/>&\\f3/>&/g' | sed 's/Generic//g' | sed 's/\.bp//g' > $f